homotopy operation

同伦运算